Merge pull request #1615 from Andre-ARM/make_s
authorSoby Mathew <[email protected]>
Fri, 12 Oct 2018 13:39:50 +0000 (14:39 +0100)
committerGitHub <[email protected]>
Fri, 12 Oct 2018 13:39:50 +0000 (14:39 +0100)
Makefile: Support totally quiet output with -s


Trivial merge